Tootfinder

Yeah, pretty much agree with this entire @… thread (so far anyway, seems it’s still incoming):
https://mastodon.social/@JuliusGoat/1120351…

Yeah, pretty much agree with this entire @… thread (so far anyway, seems it’s still incoming):
https://mastodon.social/@JuliusGoat/1120351…

The Least Prime in Arithmetic an Progression
Andrew Fiori
https://arxiv.org/abs/2404.02329 https://arxiv.org/pdf/2404.02329

The Least Prime in Arithmetic an Progression
In his 1979 paper Samuel Wagstaff studied the problem of bounding the first prime in an arithmetic progression. In this paper we update a number of his computations using advances in hardware. Based on this we refine his conjecture on Primes in Arithmetic Progression and provide further numerical evidence in support of it. For instance we conjecture that for $n>3$ we have a bound of $3ϕ(n)\log(n)\log(ϕ(n))$ and verified this bound to $10^8$.

Montag: Microsoft behebt Windows-Update-Problem, Kanada ist gegen Hacker-Tools
Windows-Update entblockt Verbot von Flipper Zero OpenAI mit Milliarden-Umsatz iFightDepression mit vielen Nutzern Chinas Tech-Firmen als Autohersteller

Yes, I saw this on that other shithole site and copied it verbatim. I refuse to link there. If that's a problem, best block me.👍

A biased random-key genetic algorithm with variable mutants to solve a vehicle routing problem
Paola Festa, Francesca Guerriero, Mauricio G. C. Resende, Edoardo Scalzo
https://arxiv.org/abs/2405.00268

A biased random-key genetic algorithm with variable mutants to solve a vehicle routing problem
The paper explores the Biased Random-Key Genetic Algorithm (BRKGA) in the domain of logistics and vehicle routing. Specifically, the application of the algorithm is contextualized within the framework of the Vehicle Routing Problem with Occasional Drivers and Time Window (VRPODTW) that represents a critical challenge in contemporary delivery systems. Within this context, BRKGA emerges as an innovative solution approach to optimize routing plans, balancing cost-efficiency with operational constr…

In der Schweiz sind Kollektivstrafen verboten. Yverdon will aber alle Fahrende von einem Standplatz ausweisen, weil ein Teil von ihnen Probleme macht. Es gebe halt keinen Patriarchen mehr, der für die Stadt die Regeln durchsetzte. Was ist da schief gelaufen, und wer erinnert die Stadt an den Rechtsstaat?
https://rts-aod-dd.akamaized.net/ww/14798301/0ca743e0-51c8-3f6f-b43f-78ea42d5369e.mp3

Is it me, my instance, federation issues or why does @… doesn't have a profile image for me? The profile links aren't shown as verified as well so something is off!

Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations
Jie Qiu, Colin Cai, Sahil Bhatia, Niranjan Hasabnis, Sanjit A. Seshia, Alvin Cheung
https://arxiv.org/abs/2404.18249

Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations
Tensor processing infrastructures such as deep learning frameworks and specialized hardware accelerators have revolutionized how computationally intensive code from domains such as deep learning and image processing is executed and optimized. These infrastructures provide powerful and expressive abstractions while ensuring high performance. However, to utilize them, code must be written specifically using the APIs / ISAs of such software frameworks or hardware accelerators. Importantly, given t…